bl-جبرهای حالت

پایان نامه
چکیده

bl-جبرهای حالت مطالعه ی منطق و بررسی آن از دیدگاه جبری می باشد به عبارتی دیگر میتوان فرمول های منطق را به جبر متناظر با آن ترجمه نمو و سپس با استفاده از روابط جبری به خواص منطق پایه دست یاافت. ابتدا مفاهیم مقدماتی و تعاریف پیش نیاز لازم برای ورودبه نپمبحث اصلی عنوان شده است. در فصل اول bl-جبرهای حالت و قوی را معرفی معرفی می شود سپس عملگر حالت بر روی mv-جبرها توصیف شده و بررسی می شود که تحت چه شرایطی mv-جبر یک bl-جبر حالت می باشد و مفهوم عملگر مورفیسم حالت پرداخته می شود. در فصل چهارم تعریف فیلتر حالت بیان می شود و مفاهیم رادیکال بررسی می شود و تعاریف فیلتر اول حالت و ایده آل حالت بیان می شود. و در فصل دسته بندی های حالت بر اساس تعاریف ساده،موضعی و نیم ساده نسبت به مجموعه فیلترهای آن مورد مطالعه قرار گرفته و ارتباط این تعاریف با فیلترهای ساده،نیم ساده و موضعی بررسی می شود.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

فیلترها در جبرهای bl

در این پایان نامه، سعی بر معرفی و شناخت انواع فیلترها، به منظور شناخت ابعاد مختلف جبرهای bl و دسته بندی آن ها می باشد. پس از ارائه مفاهیم مقدماتی و تعاریف پیش نیاز، نخست فیلترهای استلزامی و استلزامی مثبت را معرفی و روابط بین این فیلترها با جبرهای گودل و بولی را بررسی می کنیم و ثابت می کنیم که فیلتر استلزامی مثبت و فیلتر بولی در جبرهایbl با یکدیگر معادل اند. سپس فیلترهای جالب و نرمال را مطرح و ...

جبرهای bl باحالت درونی

مفهوم کلی یک جبر ‎‎mv، ‏اولین بار توسط فلیمینیو و مونتاگنا به عنوان یک جبر ‎‎‎mv‎‎ ‏با حالت درونی (به عنوان یک عمل یکتایی) معرفی شد. دی نولا و دورسنسکیج نوع قوی تری از یک جبر ‎‎mv‎‎ ‏با حالت درونی، ‎‏ارائه دادند. در پایان نامه حاضر مفهوم جبر ‎‎‎bl‎‎ ‏را ‎‏به عنوان یک جبر ‎‎‎bl‎ ‏با حالت درونی معرفی می کنیم. انواع مختلفی از جبرهای ‎‎bl‎‎ ‏با حالت درونی مانند جبرهای ‎‎bl‎‎ ‏با حالت درونی قوی و جب...

bl- جبرهای ویژه

در این پایان نامه سعی به معرفی و شناخت جبرهای صحیح ، جبرهای ویژه، فیلترهای صحیح و فیلتر های ویژه به منطور شناخت ابعاد مختلف bl- جبرهای و دسته بندی آنها می پردازیم. همچمین ثابت می کنیم اگر f یک فیلتر ماکسیمال و استلزامی در a باشد، آنگاه a یک bl-جبر صحیح و f یک فیلتر اولیه است.

bl-جبرهای(نیم)توپولوژیکی

رساله حاضر بررسی و شرحی پیرامون تحقیقات انجام شده توسط نگارنده بر‎-bl‎جبرهای (نیم)توپولوژیکی است. ‏ در این رساله پس از ارایه پیش نیازهای لازم‏، نتایج جبری که در ضمن این تحقیقات بدست آمده است را آورده ایم. پس از تعریف bl‎‎‎‏-جبرهای (نیم) توپولوژیکی و بررسی برخی خواص آنها تاثیر اصول جداسازی بر آنها و ‎‎‎‎bl‎‎‏-جبرهای خارج قسمتی (نیم) توپولوژیکی مورد بحث قرار گرفته است. در ضمن مطالعه مترپذیری مفهو...

15 صفحه اول

bl-جبرهای(نیم)توپولوژیکی

دراین پایان نامه bl-جبرهای نیم توپولوژیکی و توپولوژیکی را تعریف می کنیم و شرایطی را بدست می آوریم که یک bl-جبر توپولوژیکی به یک bl-جبر نیم توپولوژیکی تبدیل شود. همچنین یک مجموعه از فیلترها را در bl-جبر a در نظر می گیریم و از مفهوم رابطه همنهشتی نسبت به فیلترها، برای ساختن یک یکنواختی که یک توپولوژی را روی a القا می کند استفاده می کنیم. خواص این توپولوژی را با در نظر گرفتن فیلترهای مختلف مطالعه ...

15 صفحه اول

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه هرمزگان - دانشکده علوم پایه

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023